$\vdash$  (ff = ff) $\vee$ ($\neg$(ff = ff))